Implementation of the TDWG Standards Documentation Specification

Specification Facets for More Precise, Focused Documentation

Speci cation languages could aid reuse to a larger extent if they could document all important facets of software, not just functional behavior. Since a speci cation language designer cannot know exactly what aspects of a piece of software will be important, users should be able to do \metaspeci cation"; that is, users should be able to declare new facets, and then use these facets to specify t...

Clinical documentation standards--promise or peril?

Imagine a future of integrated clinical information systems that transcend the physical boundaries of clinical units, institutions and community care, providing nurses with comprehensive access to information and knowledge to support the delivery of care to individuals and families. Imagine not having to gather the same information repeatedly, ask the same questions over and over again, or stru...

A Security Analysis of Emerging Web Standards - HTML5 and Friends, from Specification to Implementation

Over the past few years, a significant effort went into the development of a new generation of web standards, centered around the HTML5 specification. Given the importance of the web in our society, it is essential that these new standards are scrutinized for potential security problems. This paper reports on a systematic analysis of ten important, recent specifications with respect to two gene...

A Security Analysis of Emerging Web Standards - Extended Version HTML5 and Friends, from Specification to Implementation

Over the past few years, a significant effort went into the development of a new generation of web standards, centered around the HTML5 specification. Given the importance of the web in our society, it is essential that these new standards are scrutinized for potential security problems. This paper reports on a systematic analysis of ten important, recent specifications with respect to two gene...

The Stream Cipher Leviathan Specification and Supporting Documentation